1

Constraint aggregation for rigorous global optimization

Year:
2016
Language:
english
File:
PDF, 386 KB
english, 2016
2

Constraint propagation on quadratic constraints

Year:
2010
Language:
english
File:
PDF, 568 KB
english, 2010
3

Verified global optimization with GloptLab

Year:
2007
Language:
english
File:
PDF, 34 KB
english, 2007
5

Rigorous filtering using linear relaxations

Year:
2012
Language:
english
File:
PDF, 663 KB
english, 2012
8

A scaling algorithm for polynomial constraint satisfaction problems

Year:
2008
Language:
english
File:
PDF, 218 KB
english, 2008
10

The optimization test environment

Year:
2014
Language:
english
File:
PDF, 909 KB
english, 2014
11

Rigorous verification of feasibility

Year:
2015
Language:
english
File:
PDF, 416 KB
english, 2015
13

Linear and parabolic relaxations for quadratic constraints

Year:
2016
Language:
english
File:
PDF, 2.11 MB
english, 2016
15

Interval unions

Year:
2017
Language:
english
File:
PDF, 707 KB
english, 2017